(define	(problem test)	
	(:domain tropos-domain) 
	(:objects	
		foo - t_gtype
		A1 A2 A3 - t_actor
		G1 G2 G3 G4	G21 G22 - t_goal
	)	

	(:init 
		(= (max_work_load A1) 9)
		(= (max_work_load A2) 9)
		(= (max_work_load A3) 9)

		(= (work_load A1) 0)
		(= (work_load A2) 0)
		(= (work_load A3) 0)

		(= (load G1) 2)
		(= (load G2) 5)
		(= (load G21) 3)
		(= (load G22) 2)

		(= (satisfaction_ability A1 G1) 1)
		(= (satisfaction_ability A1 G2) 4)
		(= (satisfaction_ability A2 G21) 4)
		(= (satisfaction_ability A2 G22) 6)

		(requests A1 G1)
		(requests A1 G2)

		(and_subgoal2 G2 G21 G22)

		(can_provide A1 G1)
		(can_provide A1 G2)
		(can_provide A2 G21)
		(can_provide A2 G22)
	)

	(:goal (and 
		(satisfied G1)
		(satisfied G2)
	))

	(:metric maximize (plan_quality))
)